منابع مشابه
Continuation Semantics for Concurrency
This paper presents a continuation semantics satisfying the basic laws of concurrent systems. This semantics is illustrated for a simple CSP-like language extended with communication on multiple channels and synchronization based on join patterns, which also provides operators for nondeterministic choice, sequential and parallel composition. For the language under investigation we present a den...
متن کاملContinuation Semantics for Asynchronous Concurrency
The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.
متن کاملContinuation - Passing Semantics for Concurrency —
We investigate the formal design of concurrent languages in continuation-passing style (CPS). We present a continuation-based denotational semantics for an abstract language providing operators for nondeterministic choice, sequential and parallel composition, and a general mechanism of interaction between multisets of distributed actions. We show that the basic laws of concurrent systems are sa...
متن کاملAn Action Semantics for ML Concurrency Primitives
This paper is about the recently-developed framework of action semantics. The pragmatic qualities of action semantic descriptions are particularly good, which encourages their use in industrial-scale applications where semantic descriptions are needed, e.g., compiler development. The paper has two main aims: to demonstrate the remarkable extensibility of action semantic descriptions, and to ill...
متن کاملUTCP: Compositional Semantics for Shared-Variable Concurrency
We present a Unifying Theories of Programming (UTP) semantics of shared variable concurrency that is fully compositional. Previous work was based on mapping such programs, using labelling of decision points and atomic actions, to action systems, which themselves were provided with a UTP semantics. The translation to action systems was largely compositional, but their dynamic semantics was based...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BIT Numerical Mathematics
سال: 1988
ISSN: 0006-3835,1572-9125
DOI: 10.1007/bf01941131